$\forall$${\it es}$:ES. es{-}pred?(${\it es}$) $\in$ E$\rightarrow$(E+Unit)